${\it ff}$.Receiver $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(TERMOF\{fifoReceiver{-}exists:ObjectId, 1:l, i:l\}(${\it es}$,${\it ff}$)).1